Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
741	Verify Your Runs Klaus Havelund and Allen Goldberg Kestrel Technology, Palo Alto, California, USA http://www.kestreltechnology.com 1 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:25 Applied mathematics Temporal logic Software development Runtime verification Formal verification Model checking Abstract state machines Interval temporal logic Java Pathfinder Formal methods Theoretical computer science Logic in computer science
742	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
743	Preprocessing and Inprocessing Techniques in SAT Armin Biere Institute for Formal Models and Verification Johannes Kepler University Linz, Austria Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2011-09-06 10:46:19 Automated theorem proving Logic in computer science NP-complete problems Boolean algebra Logic programming Boolean satisfiability problem Unit propagation Resolution Clause Theoretical computer science Mathematics Mathematical logic
744	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
745	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-05-06 01:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
746	Under consideration for publication in Math. Struct. in Comp. Science Social Processes, Program Verification and All That A N D R E A A S P E R T I,1 H E R M A N G E U V E R S2 and R A J A N A T A R A J A N3 1 Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-07 06:47:44 Formal methods Theoretical computer science Automated theorem proving Logic in computer science Proof theory Mathematical proof Formal verification Automated proof checking Proof assistant Mathematics Logic Applied mathematics
747	Vajra Logic and Mathematical Meta-models for Meta-systems Engineering Notes on the Foundations of Emergent Meta-systems Theory and Practice Kent D. Palmer, Ph.D. Box 1632, Orange, CA[removed]USA [removed] Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 19:40:45 Non-classical logic Philosophical logic Model theory Logic in computer science Meta-system Modal logic Interpretation First-order logic Formal verification Logic Mathematical logic Mathematics
748	Master’s Thesis Formal Verification of Linux Device Drivers Thomas Witkowski May 2007 Add to Reading List Source URL: www.cprover.org Language: English - Date: 2008-12-31 05:38:12 Formal methods Linux Device drivers Monolithic kernels Kernel Device driver Model checking Formal verification Device driver synthesis and verification Software Computing Computer architecture
749	Authbridge Cornell Case Study.pdf Add to Reading List Source URL: res.cloudinary.com Language: English - Date: 2014-03-13 08:45:08 Security Human resource management Background check Employment Law enforcement Business process outsourcing Productivity Verification and validation Formal verification Business Technology Recruitment

UPDATE